Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
541	Varieties Generated by Certain Models of Reversible Finite Automata Marats Golovkins∗ Faculty of Computing, University of Latvia, Rai¸na bulv. 29, Riga LV-1459, Latvia marats at latnet dot lv Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:29:25 Mathematics Semigroup theory Algebra Category theory Models of computation Monoid Semiautomaton Semigroup Regular language Automata theory Abstract algebra Formal languages
542	Formal Ontology for Sentiment Analysis Adam Pease Rearden Commerce code available at http://www.ontologyportal.org Add to Reading List Source URL: www.sentimentsymposium.com Language: English - Date: 2011-11-15 07:29:26 Sentiment analysis Artificial intelligence Star Ontology Natural language processing Science Knowledge
543	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
544	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
545	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
546	Synthesis of Reconfiguration Charts12 Technical report Tobias Eckardt and Stefan Henkler Heinz Nixdorf Institute Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:41 ISO standards Software architecture Diagrams Knowledge representation Unified Modeling Language Component-based software engineering System Formal verification Mechatronics Software engineering Science Computing
547	Adapting a general parser to a sublanguage Sophie Aubin, Adeline Nazarenko and Claire N´ edellec** () LIPN, University of Paris 13 & CNRS UMR, av. J.B. Cl´ement, FVilletaneuse, France {sophie.aubin,na Add to Reading List Source URL: www.abiword.org Language: English* - Date: 2013-03-19 19:17:33 Formal languages Computational linguistics Speech recognition Compiler construction Parsing Natural language processing Link grammar Dependency grammar Formal grammar Programming language implementation Linguistics Syntax
548	Microsoft Word - CBEAll.doc Add to Reading List Source URL: www.dbnet.ece.ntua.gr Language: English - Date: 2005-12-08 10:50:18 Procedural programming languages Compiler construction Formal languages Compiler Code generation Syntax Parsing Programming language Pascal Software engineering Computing Computer programming
549	Explicit Vocabulary Instructional Strategy (to Develop Expressive Word Knowledge) Add to Reading List Source URL: pubs.cde.ca.gov Language: English - Date: 2009-10-30 19:29:51 Sentence Mathematics Semantics Linguistics Formal language Theoretical computer science
550	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-09 03:50:06 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming

UPDATE